theory of computation for gate cse 2023